A Diagnostic Test Generation System and a Coverage Metric* (Summery)
نویسندگان
چکیده
Abstract — A diagnostic automatic test pattern generation (DATPG) system is constructed by adding new algorithmic capabilities to conventional ATPG and fault simulation programs. The system generates tests to distinguish between fault pairs through different output responses. Given a fault pair, by modifying circuit netlist a new single fault is modeled and targeted for detection by a conventional ATPG. The test distinguishes the given fault pair. In the fault simulator faults are partitioned into different groups according to their output responses. Thus, fault pairs that a simulated vector can distinguish between are split among separate groups. Faults that form single-fault groups are dropped from further simulation. Using a proposed diagnostic coverage (DC) metric, we observe improved DC in most benchmark circuits. Cases of low DC have helped identify new open problems.
منابع مشابه
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness
In black-box testing, the tester creates a set of tests to exercise a system under test without regard to the internal structure of the system. Generally, no objective metric is used to measure the adequacy of black-box tests. In recent work, we have proposed three requirements coverage metrics, allowing testers to objectively measure the adequacy of a black-box test suite with respect to a set...
متن کاملMinimal Test Case Generation for Effective Program Test using Control Structure Methods and Test Effectiveness Ratio
Software testing is the critical activity in any industrial–strength software development process. As the software grows in size, its complexity increases and testing becomes more difficult. Hence generating test cases manually produces more errors and affects overall system quality. In this paper, we have proposed a tool for automatic generation of test cases using the control structure method...
متن کاملEffective Coverage as a New Metric for Monitoring Progress towards Universal Health Coverage
متن کامل
Fault simulation and test generation for small delay faults
Fault Simulation and Test Generation for Small Delay Faults. (December 2006) Wangqi Qiu, B.S., Fudan University, China Chair of Advisory Committee: Dr. Duncan M. Walker Delay faults are an increasingly important test challenge. Traditional delay fault models are incomplete in that they model only a subset of delay defect behaviors. To solve this problem, a more realistic delay fault model has b...
متن کاملContribution to the Methods and Algorithms of Automatic Generation of Functional Tests for Processors
The dissertation thesis is aimed at automatic functional test generation methods for processors. Testing processors needs continually new test generation methods, algorithms and test application techniques for their verification, manufacture testing and reliable life-time run. The functional tests are mainly generated over an instruction set architecture and processor model description. They ru...
متن کامل